Философский энциклопедический словарь - интерпретация и модель
Связанные словари
Интерпретация и модель
интерпретация и модель
(лат. interpretatio — истолкование, разъяснение и фр. modele — образец, прообраз) — семантические понятия, играющие важную роль как в метаматематике и металогике, так и в науке в целом. Под И. в широком смысле понимают приписывание значений исходным выражениям исчисления, в силу чего получают смысл все правильно построенные выражения данного исчисления (Значение и смысл, Имя, Логическая семантика). Интерпретированное исчисление является, т. обр., формализованным языком, в к-ром формулируются и доказываются различные высказывания, имеющие смысл. Формальное определение И. можно дать, используя понятие М. Пусть дан нек-рый класс высказываний к.-л. исчисления; если заменить все константы, входящие в эти высказывания, на переменные соответствующих типов (Типов теория), то получим класс пропозициональных функций (Предикат). Любое множество предметов, к-рое будет выполнять каждую пропозициональную функцию из этого класса, называют М. рассматриваемого класса высказываний и соответствующего исчисления. С помощью понятия М. исчисления вводится понятие И.; И. исчисления называют выделенную или намеренно построенную М. Посредством понятия И., в свою очередь, определяются логическая и фактическая истинность, аналитические и синтетические суждения. Теория моделей логических систем получила свое развитие в работах Тарского, Карнапа, Дж. Кемени, советского математика А. И. Мальцева и др. В естественных науках термин “М.” используется в ином смысле, основанном обычно на понятиях изоморфизма и гомоморфизма “моделируемых” и “моделирующих” систем (Моделирование).
Рейтинг статьи:
Комментарии:
Вопрос-ответ:
Похожие слова
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 2503 | |
2 | 2321 | |
3 | 1990 | |
4 | 1976 | |
5 | 1924 | |
6 | 1829 | |
7 | 1723 | |
8 | 1659 | |
9 | 1641 | |
10 | 1506 | |
11 | 1426 | |
12 | 1387 | |
13 | 1380 | |
14 | 1379 | |
15 | 1251 | |
16 | 1072 | |
17 | 1062 | |
18 | 1060 | |
19 | 1035 | |
20 | 962 |